1. Mathematical knowledge management
پدیدآورنده : / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Mathematics--Data processing--Congresses,Information storage and retrieval systems--Mathematics--Congresses,Automatic theorem proving--Congresses
رده :
QA
,
76
.
95
,.
I565
,
2003
2. Mathematical knowledge management :Second International Conference MKM 2003, Bertinoro, Italy, February 16-18, 2003, proceedings
پدیدآورنده : Andrea Asperti, Bruno Buchberger, James H. Davenport )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Mathematics,Mathematics -- Congresses ، Information storage and retrieval systems,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2594
